Natural deduction - PDFSEARCH.IO - Document Search Engine

Natural deduction
Results: 402

#	Item
151	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
152	J-Calc: A typed lambda calculus for Intuitionistic Justification Logic Konstantinos Pouliasis Giuseppe Primiero Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 08:49:03 Logical syntax Propositional calculus Philosophical logic Natural deduction Entailment Interpretation Curry–Howard correspondence Formation rule Witness Logic Proof theory Deduction
153	A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-27 07:55:59 Model theory Proof theory Propositional calculus Natural deduction Entailment Modal logic Interpretation Valuation Kripke semantics Logic Philosophical logic Deduction
154	Opinion Deductive reasoning Phil Johnson-Laird∗ This article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:18 Deduction Propositional calculus Logical consequence Logical syntax Inference Mental model Deductive reasoning Natural deduction Entailment Logic Science Reasoning
155	COGNITION Cognition[removed]–229 Illusory inferences: a novel class of erroneous deductions P.N. Johnson-Laird a ,, Fabien Savary b Add to Reading List Source URL: mentalmodels.princeton.edu Language: English* - Date: 2012-06-14 22:34:08 Propositional calculus Philosophical logic Conditionals Binary operations Mental model Material conditional Inference Natural deduction Argument Logic Science Reasoning
156	Propositional Logic Extended With A Pedagogically Useful Relevant Implication∗ Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-05-06 17:32:48 Non-classical logic Logical consequence Paraconsistent logic Natural deduction Relevance logic Entailment Paradoxes of material implication Material conditional Modal logic Logic Philosophical logic Propositional calculus
157	Constraining Credential Usage in Logic-Based Access Control Lujo Bauer Carnegie Mellon University Pittsburgh, PA, USA Email: Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Cut-elimination theorem Sequent calculus Mathematical proof Sequent Logic programming Credential Entailment Natural deduction Logic Proof theory Mathematics
158	Dependent Types for Program Termination Verification ∗ Hongwei Xi Computer Science Department Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2006-03-08 16:11:00 Natural deduction Symbol Mathematics Function Mathematical logic
159	Interpreting prediction markets: a stochastic approach Nicol´ as Della Penna Research School of Computer Science Add to Reading List Source URL: nikete.com Language: English - Date: 2012-11-09 23:34:06 Proof theory Markov processes Deduction Natural deduction
160	Noname manuscript No. (will be inserted by the editor) Declarative Representation of Proof Terms Claudio Sacerdoti Coen Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-05-22 05:46:20 Proof theory Mathematical proofs Philosophical logic Logic in computer science Natural deduction Entailment Curry–Howard correspondence Theorem First-order logic Logic Mathematics Mathematical logic

UPDATE